<div>
  È possibile specificare il percorso di determinati strumenti su questo
  nodo, sostituendo la configurazione globale.
  (Si potrebbe preferire l'utilizzo di programmi di installazione automatici
  per gli strumenti, rimuovendo la necessità di configurare separatamente
  ogni nodo.)
</div>
